Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
291	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science
292	2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:31 C++ Data types Procedural programming languages Cross-platform software Type theory Scope Variable Reference ALGOL 68 Software engineering Computing Computer programming
293	Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France, Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:30 Type theory Data types Computability theory Formal methods Models of computation Lambda calculus C++ classes Type system ALGOL 68 Software engineering Programming language theory Computing
294	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
295	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
296	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-07-24 12:05:06 Lisp programming language Logic in computer science Programming language semantics Reduction strategy Predicate logic Operational semantics Robert Bruce Findler Free variables and bound variables Eval Programming language theory Software engineering Computing
297	Challenges and Opportunities for Intelligibility and Control in Smart Homes Jo Vermeulen Russell Beale Add to Reading List Source URL: zpac.ch Language: English - Date: 2015-03-08 17:38:54 Software engineering Ambient intelligence Context-aware pervasive systems Ubiquitous computing Smart device ALGOL 68 Usability Computing Human–computer interaction Programming language theory
298	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
299	EN Official Journal of the European Union Add to Reading List Source URL: www.rtd.si Language: English - Date: 2010-08-16 05:23:27 Framework Programmes for Research and Technological Development European Cooperation in Science and Technology CORDIS European Union Software engineering RTD Bus & Light Rail Evaluation ALGOL 68 Virtual Physiological Human Europe Science and technology in Europe Programming language theory
300	Statically Scoped Object Adaptation with Expanders Alessandro Warth Milan Stanojevi´c Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Object-oriented programming Cross-platform software Method Type theory Java programming language Eval Java Type system Factory method pattern Software engineering Computing Computer programming

UPDATE